Patch for 64-bit VMX guest destroy
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Fri, 29 Jul 2005 10:36:11 +0000 (10:36 +0000)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Fri, 29 Jul 2005 10:36:11 +0000 (10:36 +0000)
commit613f9362cfecfd2e5ed36eef8c44842a3a9aca3c
treece05c3c70fa2ac6e19ce0c3e053d432d8c952ce5
parent12b1a321bd1018d6d452aacf39583ac5069e7dea
Patch for 64-bit VMX guest destroy

64-bit VMX guest can't be destroyed without this patch, as guest page's
reference count problem.
This patch made two point of reference count correct:
1. In invlpg, the old page count need put.
2. There is a specail case for fl1's shadow reference count.=20
=20

Signed-off-by: Chengyuan Li <chengyuan.li@intel.com>
Signed-off-by: Jun Nakajima <jun.nakajima@intel.com>
xen/arch/x86/shadow.c